- в виде формул
- Makarov: by formulae
Универсальный русско-английский словарь. Академик.ру. 2011.
в виде формул
Смотреть что такое "в виде формул" в других словарях:
Задача выполнимости булевых формул — (SAT или ВЫП) важная для теории вычислительной сложности алгоритмическая задача. Экземпляром задачи SAT является булева формула, состоящая только из имен переменных, скобок и операций (И), (ИЛИ) и (HE). Задача заключается в следующем: можно ли… … Википедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… … Математическая энциклопедия
МЕТАТЕОРИЯ — совокупность математич. средств и методов, предназначенных для описания и определения нек рой формальной аксиоматич. теории, а также для исследования ее свойств. М. является важной составной частью метода формализации одного из центральных… … Математическая энциклопедия
ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ — Многие физические законы, которым подчиняются те или иные явления, записываются в виде математического уравнения, выражающего определенную зависимость между какими то величинами. Часто речь идет о соотношении между величинами, изменяющимися с… … Энциклопедия Кольера
ПЕРЕМЕННАЯ — (п е р е м е н н о е) – в классич. высшей математике (начиная с 17 в. – Ферма, Декарт, Ньютон, Лейбниц и др.) величина, могущая принимать в процессе своего изменения различные значения. Понятие П. в его первонач. формулировках явилось основой для … Философская энциклопедия
модель — (от лат. modulus мера, образец, норма) а) в самом широком смысле любой мысленный или знаковый образ моделируемого объекта (оригинала). К их числу относятся гносеологические образы (воспроизведение, отображение исследуемого объекта или системы… … Словарь терминов логики
Арифметика — (греч. arithmetika, от arithmys число) наука о числах, в первую очередь о натуральных (целых положительных) числах и (рациональных) дробях, и действиях над ними. Владение достаточно развитым понятием натурального числа и умение… … Большая советская энциклопедия
JH — Криптографическая хеш функция Название JH Разработчик У Хунцзюнь (англ Wu Hongjun) Опубликован 16 января 2011 года Размер хеша 224, 256, 384, 512 Число раундов 42 JH семейство из четырех криптографических хеш функций: JH 224, JH 256, JH 384 и JH … Википедия
компьютерная графика — визуализация изображения информации на экране дисплея (монитора). В отличие от воспроизведения изображения на бумаге или ином носителе, изображение, созданное на экране, можно почти немедленно стереть или (и) подправить, сжать или растянуть,… … Энциклопедический словарь
Уравнение движения — (уравнения движения) уравнение или система уравнений, задающие закон эволюции механической или сходной динамической системы (например, поля) во времени[1]. Эволюция физической системы однозначно определяется уравнениями движения и… … Википедия
